Marques-Silva, João P.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Interpolant Learning and Reuse in SAT-Based Model Checking

Joao Marques-Silva

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 303 KB

english, 2007

2

Model checking with Boolean Satisfiability

Joao Marques-Silva

Journal:

Journal of Algorithms

Year:

2008

Language:

english

File:

PDF, 265 KB

english, 2008

3

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Practical applications of Boolean Satisfiability

Marques-Silva, Joao

Year:

2008

Language:

english

File:

PDF, 207 KB

english, 2008

4

Algorithms for computing minimal equivalent subformulas

Belov, Anton, Janota, Mikoláš, Lynce, Inês, Marques-Silva, Joao

Journal:

Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 1.12 MB

english, 2014

5

An exact solution to the minimum size test pattern problem

Flores, Paulo F., Neto, Horácio C., Marques-Silva, João P.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2001

Language:

english

File:

PDF, 128 KB

english, 2001

6

On the query complexity of selecting minimal sets for monotone predicates

Janota, Mikoláš, Marques-Silva, Joao

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 1.30 MB

english, 2016

7

Solving QBF with counterexample guided refinement

Janota, Mikoláš, Klieber, William, Marques-Silva, Joao, Clarke, Edmund

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 1018 KB

english, 2016

8

Minimal sets on propositional formulae. Problems and reductions

Marques-Silva, Joao, Janota, Mikoláš, Mencía, Carlos

Journal:

Artificial Intelligence

Year:

2017

Language:

english

File:

PDF, 672 KB

english, 2017

9

[IEEE 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - Boston, MA (2017.11.6-2017.11.8)] 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - On Computing Generalized Backbones

Previti, Alessandro, Ignatiev, Alexey, Jarvisalo, Matti, Marques-Silva, Joao

Year:

2017

Language:

english

File:

PDF, 430 KB

english, 2017

10

Formally Verifying the Solution to the Boolean Pythagorean Triples Problem

Cruz-Filipe, Luís, Marques-Silva, Joao, Schneider-Kamp, Peter

Journal:

Journal of Automated Reasoning

Year:

2018

File:

PDF, 1.05 MB

2018

11

Abduction-Based Explanations for Machine Learning Models

Ignatiev, Alexey, Narodytska, Nina, Marques-Silva, Joao

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 337 KB

english, 2019

12

Efficient Data Structures for Backtrack Search SAT Solvers

Inês Lynce, João Marques-Silva

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 267 KB

english, 2005

13

Efficient data structures for backtrack search SAT solvers

Inês Lynce, João Marques-Silva

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 270 KB

english, 2005

14

Boolean lexicographic optimization: algorithms & applications

Joao Marques-Silva, Josep Argelich, Ana Graça, Inês Lynce

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2011

Language:

english

File:

PDF, 627 KB

english, 2011

15

Haplotype inference with pseudo-Boolean optimization

Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira

Journal:

Annals of Operations Research

Year:

2011

Language:

english

File:

PDF, 1.58 MB

english, 2011

16

Boosting Haplotype Inference with Local Search

Inês Lynce, João Marques-Silva, Steve Prestwich

Journal:

Year:

2008

Language:

english

File:

PDF, 615 KB

english, 2008

17

A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas

Mark Liffiton, Maher Mneimneh, Inês Lynce, Zaher Andraus, João Marques-Silva, Karem Sakallah

Journal:

Year:

2009

Language:

english

File:

PDF, 712 KB

english, 2009

18

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability

Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva

Journal:

Journal of Automated Reasoning

Year:

2005

Language:

english

File:

PDF, 353 KB

english, 2005

19

[IEEE 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign - Nice, France (2007.05.30-2007.06.2)] 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) - Towards Equivalence Checking Between TLM and RTL Models

Bombieri, Nicola, Fummi, Franco, Pravadelli, Graziano, Marques-Silva, Joao

Year:

2007

Language:

english

File:

PDF, 255 KB

english, 2007

20

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

Cordeiro, Lucas, Fischer, Bernd, Marques-Silva, Joao

Journal:

IEEE Transactions on Software Engineering

Year:

2012

Language:

english

File:

PDF, 1.71 MB

english, 2012

21

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - SMT-Based Bounded Model Checking for Embedded ANSI-C Software

Cordeiro, Lucas, Fischer, Bernd, Marques-Silva, Joao

Year:

2009

Language:

english

File:

PDF, 528 KB

english, 2009

22

An Overview of Backtrack Search Satisfiability Algorithms

Inês Lynce, João P. Marques-Silva

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 146 KB

english, 2003

23

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2007 Volume 4501 || Inversion Attacks on Secure Hash Functions Using sat Solvers

Marques-Silva, João, Sakallah, Karem A.

Year:

2007

Language:

english

File:

PDF, 258 KB

english, 2007

24

HYBRID INCREMENTAL ALGORITHMS FOR BOOLEAN SATISFIABILITY

LETOMBE, FLORIAN, MARQUES-SILVA, JOAO

Journal:

International Journal of Artificial Intelligence Tools

Year:

2012

Language:

english

File:

PDF, 628 KB

english, 2012

25

Iterative and core-guided MaxSAT solving: A survey and assessment

Antonio Morgado, Federico Heras, Mark Liffiton, Jordi Planes, Joao Marques-Silva

Journal:

Year:

2013

Language:

english

File:

PDF, 5.13 MB

english, 2013

26

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Towards efficient optimization in package management systems

Ignatiev, Alexey, Janota, Mikoláš, Marques-Silva, Joao

Year:

2014

Language:

english

File:

PDF, 549 KB

english, 2014

27

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2007 Volume 4501 ||

Marques-Silva, João, Sakallah, Karem A.

Year:

2007

Language:

english

File:

PDF, 7.14 MB

english, 2007

28

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Algorithms for Maximum Satisfiability using Unsatisfiable Cores

Marques-Silva, Joao, Planes, Jordi

Year:

2008

Language:

english

File:

PDF, 471 KB

english, 2008

29

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking

Cordeiro, Lucas, Fischer, Bernd, Marques-Silva, Joao

Year:

2010

Language:

english

File:

PDF, 240 KB

english, 2010

30

A Two-Variable Model for SAT-Based ATPG

Chen, Huan, Marques-Silva, Joao

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2013

Language:

english

File:

PDF, 968 KB

english, 2013

31

[IEEE 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip (VLSI-SoC) - Kowloon, Hong Kong (2011.10.3-2011.10.5)] 2011 IEEE/IFIP 19th International Conference on VLSI and System-on-Chip - Improvements to satisfiability-based boolean function bi-decomposition

Huan Chen,, Joao Marques-Silva,

Year:

2011

Language:

english

File:

PDF, 1.08 MB

english, 2011

32

[IEEE 2009 IEEE International High Level Design Validation and Test Workshop (HLDVT) - San Francisco, CA, USA (2009.11.4-2009.11.6)] 2009 IEEE International High Level Design Validation and Test Workshop - TG-PRO: A new model for SAT-based ATPG

Chen, Huan, Marques-Silva, Joao

Year:

2009

Language:

english

File:

PDF, 557 KB

english, 2009

33

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Core Minimization in SAT-based Abstraction

Belov, Anton, Chen, Huan, Mishchenko, Alan, Marques-Silva, Joao

Year:

2013

Language:

english

File:

PDF, 575 KB

english, 2013

34

[IEEE 2010 40th IEEE International Symposium on Multiple-Valued Logic - Barcelona, Spain (2010.05.26-2010.05.28)] 2010 40th IEEE International Symposium on Multiple-Valued Logic - Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper)

Marques-Silva, Joao

Year:

2010

Language:

english

File:

PDF, 243 KB

english, 2010

35

[IEEE 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI) - Boca Raton, FL, USA (2011.11.7-2011.11.9)] 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence - On Validating Boolean Optimizers

Morgado, Antonio, Marques-Silva, Joao

Year:

2011

Language:

english

File:

PDF, 140 KB

english, 2011

36

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Model-Guided Approaches for MaxSAT Solving

Morgado, Antonio, Heras, Federico, Marques-Silva, Joao

Year:

2013

Language:

english

File:

PDF, 480 KB

english, 2013

37

[IEEE 2009 International Conference on Embedded Software and Systems - Hangzhou, China (2009.05.25-2009.05.27)] 2009 International Conference on Embedded Software and Systems - Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints

Cordeiro, Lucas, Fischer, Bernd, Chen, Huan, Marques-Silva, Joao

Year:

2009

Language:

english

File:

PDF, 666 KB

english, 2009

38

Haplotype Inference by Pure Parsimony: A Survey

Graça, Ana, Lynce, Inês, Marques-Silva, João, Oliveira, Arlindo L.

Journal:

Journal of Computational Biology

Year:

2010

Language:

english

File:

PDF, 1.52 MB

english, 2010

39

Fast, flexible MUS enumeration

Liffiton, Mark H., Previti, Alessandro, Malik, Ammar, Marques-Silva, Joao

Journal:

Year:

2016

Language:

english

File:

PDF, 2.11 MB

english, 2016

40

HAPLOTYPE INFERENCE WITH BOOLEAN SATISFIABILITY

LYNCE, INÊS, MARQUES-SILVA, JOÃO

Journal:

International Journal of Artificial Intelligence Tools

Year:

2008

Language:

english

File:

PDF, 1.33 MB

english, 2008

41

Expansion-based QBF solving versus Q-resolution

Janota, Mikoláš, Marques-Silva, Joao

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 865 KB

english, 2015

42

Quantified maximum satisfiability

Ignatiev, Alexey, Janota, Mikoláš, Marques-Silva, Joao

Journal:

Year:

2016

Language:

english

File:

PDF, 10.62 MB

english, 2016

43

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Algorithms for maximum satisfiability using unsatisfiable cores

Marques-Silva, Joao, Planes, Jordi

Year:

2008

Language:

english

File:

PDF, 301 KB

english, 2008

44

[ACM Press the 37th conference - Los Angeles, California, United States (2000.06.05-2000.06.09)] Proceedings of the 37th conference on Design automation - DAC '00 - Boolean satisfiability in electronic design automation

Marques-Silva, João P., Sakallah, Karem A.

Year:

2000

Language:

english

File:

PDF, 54 KB

english, 2000

45

[ACM Press the conference - Paris, France (2000.03.27-2000.03.30)] Proceedings of the conference on Design, automation and test in Europe - DATE '00 - An experimental study of satisfiability search heuristics (poster paper)

Aloul, Fadi A., Marques-Silva, João P., Sakallah, Karem A.

Year:

2000

Language:

english

File:

PDF, 17 KB

english, 2000

46

Satisfiability models and algorithms for circuit delay computation

Guerra e Silva, Luís, Marques-Silva, João, Silveira, L. Miguel, Sakallah, Karem A.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2002

Language:

english

File:

PDF, 265 KB

english, 2002

47

[ACM Press the great lakes symposium - Salt Lake City, Utah, USA (2012.05.03-2012.05.04)] Proceedings of the great lakes symposium on VLSI - GLSVLSI '12 - New & improved models for SAT-based bi-decomposition

Chen, Huan, Marques-Silva, Joao

Year:

2012

Language:

english

File:

PDF, 763 KB

english, 2012

48

[ACM Press the conference - Paris, France (2000.03.27-2000.03.30)] Proceedings of the conference on Design, automation and test in Europe - DATE '00 - On applying incremental satisfiability to delay fault testing

Kim, Joonyoung, Whittemore, Jesse, Marques-Silva, João P., Sakallah, Karem

Year:

2000

Language:

english

File:

PDF, 108 KB

english, 2000

49

[ACM Press the conference - Munich, Germany (1999..-..)] Proceedings of the conference on Design, automation and test in Europe - DATE '99 - Combinational equivalence checking using satisfiability and recursive learning

Marques-Silva, João, Glass, Thomas

Year:

1999

Language:

english

File:

PDF, 39 KB

english, 1999

50

[ACM Press the conference - Paris, France (2000.03.27-2000.03.30)] Proceedings of the conference on Design, automation and test in Europe - DATE '00 - On using satisfiability-based pruning techniques in covering algorithms

Manquinho, Vasco M., Marques-Silva, João

Year:

2000

Language:

english

File:

PDF, 216 KB

english, 2000